A federal judge in the Southern District of Florida has ordered additional scrutiny of the settlement resolving Donald Trump’s $10 billion lawsuit against the IRS and the Justice Department, an unusual step that puts the mechanics of government dealmaking under a brighter spotlight.

U.S. District Judge Kathleen Williams’ order follows objections from retired judges who challenged the arrangement and argued that the settlement may raise concerns about collusion, abuse of process, or other irregularities.